$\forall$$z$:$\mathbb{Z}$, $a$,$b$:top. sqequal(isint($z$;$a$;$b$); $a$)